ФОРМАЛЬНОЕ ОПИСАНИЕ АЛГОРИТМА ДЕКОМПОЗИЦИИ СЛОЖНЫХ СИСТЕМ НА ОСНОВЕ СЕТЕЙ ПЕТРИ С ИСПОЛЬЗОВАНИЕМ ТЕНЗОРНОЙ МЕТОДОЛОГИИ

Мартяшин Георгий Викторович, аспирант, Пензенский государственный университет (Россия, г.Пенза, ул. Красная, 40), nowargore@gmail.com
Тархов Кирилл Юрьевич, аспирант, Пензенский государственный университет (Россия, г.Пенза, ул. Красная, 40), soulesspnz@gmail.com
Калачев Андрей Валентинович, студент, Пензенский государственный университет (Россия, г.Пенза, ул. Красная, 40), andrei.kalachev@gmail.com
Бальзанникова Елена Алексеевна, магистрант, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40), elenabalzannikova@gmail.com
Пащенко Дмитрий Владимирович, доктор технических наук, профессор, заведующий кафедрой вычислительной техники, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40), dmitry.pashchenko@gmail.com

004.94

DOI

10.21685/2072-3059-2016-3-6

Актуальность и цели. Объект исследования – сложная система, представленная в виде сети Петри. Предметом исследования является способ декомпозиции этой системы на примитивные фрагменты в сетях Петри. Цель работы – формальное описание алгоритма декомпозиции сложных систем с использованием тензорных преобразований.
Материалы и методы. Формальное описание алгоритма осуществлялось с использованием аппарата сетей Петри и тензорной методологии.
Результаты. Представленный алгоритм позволяет реализовать работу модуля системы автоматизированного проектирования структур параллельных вычислительных систем на основе тензорного исчисления сетевых моделей.
Выводы. Результаты могут быть использованы при решении проблем разработки и усовершенствования сложных систем.

Ключевые слова

сети Петри, тензорное преобразование, декомпозиция сложных систем.

 Скачать статью в формате PDF

1. Симанков, В. С. Моделирование сложных объектов в режиме реального вре-мени на основе сетей Петри / В. С. Симанков, Д. М. Толкачев // Вестник Адыгей-ского государственного университета. Сер. 4. Естественно-математические и тех-нические науки. – 2012. – № 4. – С. 84–92.
2. Kizilov, E. Modeling of QoS in the industrial Ethernet switches / E. Kizilov, D. Pashenko, D. Trokoz, N. Konnov // 5th International Workshop on Computer Sci-ence and Engineering Information Processing and Control Engineering, WCSE 2015-IPCE, 2015. – P. 185–190
3. Domnin, A. Modeling EMA and MA Algorithmas to Estimate the Bitrate of Data Streams in Packet Switched / A. Domnin, N. Konnov, V. Mekhanov//Communication in Computer and Information Science,2014–P.81–86.
4. Волчихин, В. И. Моделирование подсистемы загрузки данных наземной си-стемы контроля авиационных радиолокационных комплексов с использованием аппарата сетей Петри / В. И. Волчихин, Д. В. Пащенко, Д. А. Трокоз // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2010. – № 3 (15). – С. 37–48.
5. Diaz, M. Petri Nets: Fundamental Models, Verification and Applications / Michel Di-az. – Hoboken, NJ, USA : John Wiley & Sons, Wiley-ISTE, 2013. – 656 p.
6. Pashchenko, D. V. Equivalnce of inhibitory and non-inhibitory safe petri nets, In-novative information technologies / D. V. Pashchenko, D. A. Trokoz // Materials of the International scientific : practical conference. – Praga, 2014. – P. 550–556.
7. Pashenko, D. Formal transformation inhibitory safe Petri nets into equivalent not inhibitory / D. Pashenko, D. Trokoz, N. Konnov // Procedia Computer Science. – 2015. – P. 99–103.
8. Kulagin, V. P. Tensor Methods of Designing Computer System Structures / V. P. Kulagin // Automatic Control and Computer Sciences. – 1989. – P. 55-61.
9. Obsieger, B. Metoda Rubnih Elementata I / Boris Obsieger. – USA : Createspace, 2015. – 32 p.
10. Jeevanjee, N. An Introduction to Tensors and Group Theory for Physicists / Nadir Jeevanjee. – Second Edition. – Berlin, Germany : Springer, 2015. – 305 p.
11. Patil, S. Neutralizing semantic ambiguities of function block architecture by modeling with ASM / S. Patil, V. Dubinin, C. Pang, V. Vyatkin // Lecture Notes in Computer Sci-ence (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). – St. Petersburg, Russia, 2015. – P. 93–97
12. Dai, W. W. Function block implementation of service oriented architecture: Case study / W. W. Dai, J. H. Christensen, V. Vyatkin, V. Dubinin // Proceedings – 2014 : 12th IEEE International Conference on Industrial Informatics, INDIN, 2014. – Porto-Allegre, Brazil, 2014. – P. 64–70
13. Hogben, L. Handbook of Linear Algebra / Leslie Hogben. – Second Edition. – London, UK: Chapman and Hall/CRC, 2013. – 1904 p.
14. Kron, G. Tensor Analysis of Networks / Kron Gabriel. – London, UK : Facsimile Publisher, 2015 – 662 p.